Domain, Action, and Agent Knowledge in Spud

1 Domain, Action, and Agent Knowledge in SPUD Juliet C. Bourne Department of Computer and Information Science University of Pennsylvania 200 S. 33rd St, Philadelphia PA 19104 [email protected] Abstract A modal rst-order logic (mFOL) representation for domain, action, and agent knowledge supports reasoning about the domain and what agents know about the domain. Taking advantage of the independentlymotivated reasoning power of mFOL, SPUD is a Natural Language Generation (NLG) system which uses mFOL as its representation of world knowledge. This paper shows the range of knowledge needed to represent a domain and how it is implemented using SPUD's mFOL. The domain implementation highlights the exibility and power of mFOL as a knowledge representation, however the bene t of using SPUD and its mFOL representation is that a domain implementation for other reasoning purposes can then support the generation of Natural Language.